one-step subgroup test proof